Nuprl Definition : es-is-interface
11,40
postcript
pdf
e
X
== can-apply(
X
;
e
)
latex
Definitions
can-apply(
f
;
x
)
FDL editor aliases
es-is-interface
origin
X == can-apply(X;e) X == can-apply(X;e)